1. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
2. Logic and Philosophy of Mathematics in the Early Husserl
پدیدآورنده : \ by Stefania Centrone.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a03,a03,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
C4L6
2010
E-Book
,
3. The Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
4. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro.
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
5. The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory
پدیدآورنده : /by Kurt Godel.,گودل,Godel
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
6. The foundations of mathematics
پدیدآورنده : / by Frank Plumpton Ramsey
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQA
۹
/
ر
۸ ۱۳۷۹
7. The limits of science qutline of logic and of the methodology of the exact sciences leon chwistek Introduction and appe
پدیدآورنده :
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : علوم روششناسی,ریاضیات -- فلسفه,منطق ریاضی
رده :
BibQ
۱۷۵
/
خ
۸
ل
۹ ۱۳۷۹
8. The nature of mathematics a critical survey
پدیدآورنده : / Max Black
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ب
۸ ۱۳۸۰
9. Towards Mathematical Philosophy
پدیدآورنده : \ David Makinson, Jacek Malinowski, Heinrich Wansing Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Mathematics -- Philosophy -- Congresses. ,منطق ریاضی -- کنگرهها ,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
10. ایا خدا یک ریاضیدان است
پدیدآورنده : / ماریو لیویو,عنوان اصلی:Is God a mathematician?, 2010.,لیویو,Livio
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : رياضيات,منطق رياضي,اکتشافهاي علمي,رياضي دانان, -- سرگذشتنامه, -- فلسفه
رده :
۵۱۰
/
۱
ل
۹۹۳
آ
11. ایا روش ریاضی دکارت در فلسفه متضمن با قطعیت و یقین است
پدیدآورنده :
کتابخانه: Virtual Library (Digital) Alphabet (Tehran)
موضوع : ریاضیات;کلیات;فلسفه دکارت;ریاضی دکارت;منطق;,کثرت گرایی;معقولات ثانی ریاضی;علوم متعارفه;وحدت گرایی;شک دکارتی;انگارش;ابزارگرایی;شک گرایی;بداهت((اصطلاح وابسته)، مقابل ادراکات فطری);
12. برهان گودل و حقیقت و برهان
پدیدآورنده : / نويسندگان: ارنست ناگل، ج. نبومن و آلفرد تارسکي
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : منطق رياضي,رياضيات - فلسفه
رده :
۵۱۰
/
۱
ن
۲۱۸
ب
۱۳۶۴
13. برهان گودل و حقیقت وبرهان
پدیدآورنده : نويسندگان: ارنست ناگل , ج نبومن و آلفرد تارسکي,مترجم محمد اردشير,مباحثي در فلسفه رياضي برهان گودل و حقيقت و برهان
کتابخانه: Public Library of Heris (East Azarbaijan)
موضوع : منطق رياضي رياضيات فلسفه
رده :
510
/1
ن
218
ب
1364
14. برهان گودل و حقیقت برهان
پدیدآورنده : ناگل، ارنست، ۱۹۰۱-
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ریاضیات -- فلسفه,منطق ریاضی
رده :
QA
۹
/
ن
۲
ب
۴
15. پژوهشی در پیرامون مسیلهی تصمیم در منطق طرح چند خوارزمیک تحلیلی معنایی
پدیدآورنده : ادیب سلطانی، میرشمسالدین، ۱۳۱۰-
کتابخانه: Library of Document Center and Great Islamic Encyclopedia Center (Tehran)
موضوع : منطق ریاضی,فلسفه ریاضیات,فلسفه,تصمیم گیری (منطق),الگوهای ریاضی تصمیم گیری
رده :
BC135
.
A4P4
16. تاملی بر استقرای ریاضی
پدیدآورنده : على بیگدلى، لطف اللّه نبوى
کتابخانه: Virtual Library (Digital) Alphabet (Tehran)
موضوع : استقرا;نظریه مجموعه ها; اعداد طبیعی;استقراء ریاضی;فلسفه منطق;فلسفه ریاضیات;منطق;,فرا قضیه تمامیت;استقرای ضعیف;استقراء ریاضی قوی;اصل استقرای ریاضی;
17. تحلیلی نو بر پارادوکس راسل و پیوست همراه با معرفی یک هندسه جدید
پدیدآورنده : / فرزاد حمیدی
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : ریاضیات,هندسه,حساب, -- فلسفه, -- مبانی, -- اصول,منطق ریاضی -- فلسفه,هندسه -- فلسفه,راسل، برتراندراسل، ۱۸۷۲ - ۱۹۷۰م. -- اصول ریاضیات -- نقد وتفسیر
رده :
QA
۹
/
ر
۱
الف
۶۰۲
18. درامدی بر فلسفه ریاضی دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵-
کتابخانه: The Grand Ayatollah Boroujerdi's Library (Qom)
موضوع : فلسفه ریاضیات,منطق ریاضی
19. درامدی بر فلسفه ریاضی دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵ -
کتابخانه: كتابخانه عمومي و امانی دفتر تبليغات اسلامي حوزه علميه قم (Qom)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۷۶
د
۴
20. درامدی بر فلسفه ریاضی دیدگاهها و برهانها
پدیدآورنده : امید، مسعود، ۱۳۴۵ -
کتابخانه: Specialized Library of Quranic Sciences and Theology (Qom)
موضوع : ریاضیات - فلسفه,منطق ریاضی
رده :
QA
۹
/
الف
۷۶
د
۴